connexive logic
Connexive logic - Wikipedia
Connexive Logic (Stanford Encyclopedia of Philosophy)
古典論理より強くも弱くもない論理 - 論理学FAQのブログ
以下を妥當にする。代はりに何か公理を落とす
Ἀριστοτέλης の命題 (AT)
$ \neg(\neg P\supset P)
$ \neg(P\supset\neg P)
Boethius の命題 (BT)
$ (P\supset Q)\supset\neg(P\supset\neg Q)
$ (P\supset\neg Q)\supset\neg(P\supset Q)